Role Logic and its Application to the Analysis of Process Control Systems from the Socio - Technical System Perspective
نویسنده
چکیده
Security requirements for process control systems can be viewed as a social construct derived from the culture and society within which the requirement is said to exist. To capture and understand these requirements we need to make use of a formal reasoning system that supports a rigorous deductive process. Socio—Technical Systems thinking offers us the ability to express the wider socio—context within which an ICT system can be said to operate. In this paper we will extend the π-calculus model of actions via the creation of role logic. Then via the application of responsibility modelling and role logic we will demonstrate how a model of a Socio—Technical process control system can be created and analysed so as to identify critical dependancies.
منابع مشابه
Innovation in the Agro-Food Sector: from Technical Innovation-Centred Approaches to Sustainability Transition Processes
Innovation is a complex phenomenon and process involving translation of knowledge into new techniques, products, services. It is considered crucial for sustainable agriculture development and achievement of long-term food security. The review describes the diversity of innovation and relates it to agro-food sector. It also sheds light on different innovation models and explores their contributi...
متن کاملThe Application of Systems-Theoretic Accident Model and Process in the Systematic Nonlinear Analysis of Accidents in Car Industry
Background & objectives: Hundreds of methods have been introduced to analyze various events. Hence one of the effective and principle steps in accident analysis is proper and targeted selection of accident analysis method. Traditional methods of accident analysis in complex industries are not comprehensive and examine each components of the system separately. So, the use of new systematic metho...
متن کاملDesigning and Modeling a Control System for Aircraft in the Presence of Wind Disturbance (TECHNICAL NOTE)
This paper proposes a switching adaptive control for trajectory tracking of unmanned aircraft systems. The switching adaptive control method is designed to overcome the wind disturbance and achieve a proper tracking performance for control systems. In the suggested system, the wind disturbance is regarded as a finite set of uncertainties; a controller is designed for each uncertainty, and a per...
متن کاملتجزیه و تحلیل خطرات با استفاده از روش تجزیه و تحلیل فرایند تئوری سیستم (STPA): مطالعه موردی در سیستم های خاموش کننده اضطراری یک نیروگاه حرارتی تولید برق
Introduction: The weaknesses of traditional hazard analysis methods lead to their inefficiency to utilization for modern socio-technical systems. System Theoretic Process Analysis (STPA), which is in the category of systematic analysis methods, has a powerful logic to identify hazards in such systems,as a suitable alternative method. This study aimed to analyze hazards associated with extinguis...
متن کاملHybrid Fuzzy-PID Application in Boilers to Obtain Optimum Efficiency
Many real time processes have complex, uncertain and nonlinear dynamics. Boilers are nonlinear, time varying, multi-input multi-output (MIMO) systems, whose states generally vary with operating conditions. The major problem in controlling that system is that its drum water pressure and steam flow dynamics include an integrator that results a critically stable behavior. Conventional controller p...
متن کامل